Works by Dana S. Scott

( view other items matching `Dana S. Scott`, view all matches )
6 found
Order:
  1.  28
    Background to Formalization.Dana S. Scott - 1977 - Journal of Symbolic Logic 42 (2):316-316.
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  2.  21
    Final report on the automated classification and retrieval project : MedSORT-1.Jaime G. Carbonell, David A. Evans, Dana S. Scott & Richmond H. Thomason - unknown
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. Notes on the Formalization of Logic Parts 3 and 4.Dana S. Scott & David Bostock - 1981 - Oxford University Press.
     
    Export citation  
     
    Bookmark  
  4. Philosophy.Dana S. Scott - 1990 - Norwell: Kluwer.
    No categories
     
    Export citation  
     
    Bookmark  
  5.  5
    Stochastic λ-calculi: An extended abstract.Dana S. Scott - 2014 - Journal of Applied Logic 12 (3):369-376.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6. The computational conception of mind in acting and reflecting: The interdisciplinary turn.Dana S. Scott - 1990 - In Philosophy. Norwell: Kluwer.
     
    Export citation  
     
    Bookmark